[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 276, 277, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

B grade: { 39, 40, 41, 42, 202, 203, 204, 239, 278 }

C grade: { 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 275, 366 }

F grade: { 136, 137, 138, 272, 273, 274}

2.1.3 Maple

A grade: { 1, 2, 3, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 43, 44, 45, 46, 47, 52, 53, 58, 59, 60, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 131, 132, 134, 135, 140, 141, 142, 143, 144, 145, 157, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 181, 182, 183, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 229, 240, 241, 242, 243, 244, 245, 246, 247, 248, 250, 251, 254, 256, 257, 258, 275, 276, 277, 279, 283, 284, 285, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 311, 312, 313, 314, 318, 319, 320, 321, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 363, 364, 374, 375, 376, 380, 381, 382, 386, 387, 388, 389, 392, 393, 394 }

B grade: { 4, 5, 6, 7, 15, 38, 39, 40, 41, 42, 48, 49, 50, 51, 54, 55, 56, 57, 61, 62, 63, 64, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 107, 108, 109, 112, 113, 114, 127, 133, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 158, 159, 178, 179, 180, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 226, 227, 228, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 249, 252, 253, 255, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 278, 280, 281, 282, 286, 287, 288, 309, 310, 315, 316, 317, 322, 323, 358, 359, 360, 361, 362, 365, 366, 367, 368, 369, 372, 373, 377, 378, 379, 383, 384, 385, 390, 391, 395, 396, 397 }

C grade: { }

F grade: { 136, 137, 138, 139, 272, 273, 274, 370, 371, 398, 399, 400 }

2.1.4 Maxima

A grade: { 1, 2, 3, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 69, 70, 71, 72, 73, 74, 75, 76, 77, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 132, 133, 134, 135, 140, 141, 142, 143, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 254, 255, 256, 257, 275, 276, 277, 279, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 318, 319, 320, 321, 322, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 361, 362, 363, 364, 374, 375, 376, 380, 381, 382, 386, 387, 388, 392, 393, 394

B grade: { 10, 39, 40, 41, 42, 131, 177, 252, 253, 278, 317, 323, 343, 358, 359, 360, 377, 383, 389, 395 }

C grade: { }

F grade: { 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 136, 137, 138, 139, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 280, 281, 282, 283, 284, 285, 286, 287, 288, 365, 366, 367, 368, 369, 370, 371, 372, 373, 378, 379, 384, 385, 390, 391, 396, 397, 398, 399, 400 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 43, 44, 45, 46, 47, 52, 53, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 108, 109, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 140, 141, 142, 143, 144, 148, 149, 150, 151, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 179, 180, 181, 186, 187, 188, 189, 199, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 254, 255, 256, 257, 275, 276, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 312, 313, 314, 320, 321, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 361, 362, 363, 364, 373, 374, 375, 376, 380, 381, 382, 386, 387, 388, 392, 393, 394 }

B grade: { 31, 38, 39, 40, 41, 42, 50, 51, 57, 58, 64, 65, 66, 67, 107, 112, 113, 114, 145, 146, 147, 155, 156, 157, 177, 178, 182, 183, 184, 196, 197, 198, 233, 234, 235, 236, 237, 253, 258, 277, 278, 310, 311, 315, 316, 317, 318, 319, 322, 323, 360, 367, 368, 369, 372, 377, 378, 379, 383, 384, 385, 389, 390, 391, 395, 396, 397 }

C grade: { }

F grade: { 48, 49, 54, 55, 56, 61, 62, 63, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 136, 137, 138, 139, 152, 153, 154, 158, 159, 185, 190, 191, 192, 193, 194, 195, 200, 201, 202, 203, 204, 205, 206, 207, 230, 231, 232, 238, 239, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 365, 366, 370, 371, 398, 399, 400 }

2.1.6 Sympy

A grade: { 10, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 53, 59, 60, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 110, 111, 115, 118, 119, 120, 140, 141, 142, 143, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 276, 279, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 307, 314, 321 }

B grade: { 39, 40, 41, 42, 43, 44, 45, 46, 50, 51, 52, 58, 116, 117, 126, 132, 144, 145, 146, 147, 148, 149, 150, 151, 156, 157, 177, 275, 277, 278 }

C grade: { 1, 2, 3, 304, 305, 306, 308, 309, 311, 312, 313, 315, 316, 318, 319, 320 }

F grade: { 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 47, 48, 49, 54, 55, 56, 57, 61, 62, 63, 64, 65, 66, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 107, 108, 109, 112, 113, 114, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 133, 134, 135, 136, 137, 138, 139, 152, 153, 154, 155, 158, 159, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 280, 281, 282, 283, 284, 285, 286, 287, 288, 310, 317, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

2.1.7 Giac

A grade: { 1, 2, 3, 10, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 62, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 88, 89, 90, 91, 92, 100, 101, 102, 103, 104, 105, 108, 109, 110, 111, 115, 116, 117, 118, 119, 120, 124, 125, 126, 127, 130, 131, 132, 133, 135, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 155, 156, 157, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 179, 180, 181, 182, 186, 187, 188, 189, 199, 208, 209, 210, 211, 214, 215, 216, 217, 220, 221, 222, 223, 226, 227, 228, 229, 235, 236, 240, 241, 242, 243, 246, 247, 248, 249, 252, 253, 254, 255, 279, 280, 281, 282, 284, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 334, 335, 336, 338, 344, 345, 346, 351, 352, 353, 354, 358, 359, 360, 361, 365, 366, 372, 373, 374, 375, 376, 380, 381, 382, 386, 387, 388, 392, 393, 394 }

B grade: { 39, 40, 41, 42, 61, 63, 64, 65, 84, 85, 86, 87, 94, 95, 97, 98, 99, 107, 112, 114, 121, 123, 129, 147, 154, 158, 159, 178, 183, 184, 185, 196, 197, 198, 203, 212, 218, 224, 232, 233, 234, 237, 239, 245, 251, 257, 275, 276, 277, 278, 285, 286, 287, 288, 327, 328, 329, 330, 331, 332, 333, 337, 339, 340, 341, 342, 343, 348, 349, 356, 357, 363, 364, 367, 368, 369 }

C grade: { }

F grade: { 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 83, 93, 96, 106, 113, 122, 128, 134, 136, 137, 138, 139, 190, 191, 192, 193, 194, 195, 200, 201, 202, 204, 205, 206, 207, 213, 219, 225, 230, 231, 238, 244, 250, 256, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 283, 347, 350, 355, 362, 370, 371, 377, 378, 379, 383, 384, 385, 389, 390, 391, 395, 396, 397, 398, 399, 400 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 226 371 505 464 1239 266
normalized size 1 1. 0.96 1.57 2.14 1.97 5.25 1.13
time (sec) N/A 0.47 0.518 0.087 1.515 2.398 21.467 1.15
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 190 304 304 375 675 216
normalized size 1 1. 1.02 1.63 1.63 2.02 3.63 1.16
time (sec) N/A 0.227 0.309 0.059 1.788 2.511 11.5 1.182
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 121 154 188 227 347 115
normalized size 1 1. 0.97 1.23 1.5 1.82 2.78 0.92
time (sec) N/A 0.069 0.144 0.051 1.53 2.036 6.477 1.141
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 103 384 0 236 0 0
normalized size 1 1. 0.7 2.59 0. 1.59 0. 0.
time (sec) N/A 0.176 0.226 0.058 0. 1.873 0. 0.
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 109 439 0 409 0 0
normalized size 1 1. 0.64 2.58 0. 2.41 0. 0.
time (sec) N/A 0.203 0.243 0.06 0. 1.881 0. 0.
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 114 318 0 533 0 0
normalized size 1 1. 0.77 2.13 0. 3.58 0. 0.
time (sec) N/A 0.189 0.236 0.062 0. 1.824 0. 0.
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 112 453 0 637 0 0
normalized size 1 1. 0.57 2.31 0. 3.25 0. 0.
time (sec) N/A 0.184 0.296 0.06 0. 1.916 0. 0.
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 109 116 0 678 0 0
normalized size 1 1. 0.61 0.64 0. 3.77 0. 0.
time (sec) N/A 0.21 0.207 0.048 0. 1.968 0. 0.
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 144 152 0 852 0 0
normalized size 1 1. 0.62 0.65 0. 3.64 0. 0.
time (sec) N/A 0.264 0.228 0.049 0. 2.55 0. 0.
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 174 374 575 406 1277 224
normalized size 1 1. 0.74 1.58 2.44 1.72 5.41 0.95
time (sec) N/A 0.657 0.454 0.066 1.505 2.353 20.234 1.233
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 139 301 390 319 898 177
normalized size 1 1. 0.73 1.58 2.04 1.67 4.7 0.93
time (sec) N/A 0.378 0.183 0.062 1.518 2.388 14.176 1.177
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 103 234 234 236 488 131
normalized size 1 1. 0.72 1.64 1.64 1.65 3.41 0.92
time (sec) N/A 0.199 0.116 0.056 1.552 1.761 7.577 1.191
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 67 108 126 153 264 70
normalized size 1 1. 0.77 1.24 1.45 1.76 3.03 0.8
time (sec) N/A 0.051 0.042 0.105 1.526 1.777 3.224 1.213
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 83 149 0 315 0 0
normalized size 1 1. 0.81 1.45 0. 3.06 0. 0.
time (sec) N/A 0.121 0.161 0.057 0. 1.85 0. 0.
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 95 355 0 451 0 0
normalized size 1 1. 0.58 2.18 0. 2.77 0. 0.
time (sec) N/A 0.169 0.221 0.061 0. 1.828 0. 0.
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 103 116 0 510 0 0
normalized size 1 1. 0.57 0.64 0. 2.83 0. 0.
time (sec) N/A 0.205 0.199 0.049 0. 1.781 0. 0.
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 139 152 0 689 0 0
normalized size 1 1. 0.59 0.65 0. 2.94 0. 0.
time (sec) N/A 0.249 0.224 0.049 0. 2.056 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 173 208 217 273 595 257 327
normalized size 1 0.99 1.19 1.24 1.56 3.4 1.47 1.87
time (sec) N/A 0.313 0.09 0.044 1.022 1.534 0.092 1.145
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 173 150 148 190 423 173 231
normalized size 1 0.99 0.86 0.85 1.09 2.42 0.99 1.32
time (sec) N/A 0.216 0.059 0.046 1.064 1.474 0.083 1.173
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 86 79 108 250 97 135
normalized size 1 1. 1. 0.92 1.26 2.91 1.13 1.57
time (sec) N/A 0.106 0.029 0.043 0.981 1.469 0.071 1.163
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 39 51 104 42 54
normalized size 1 1. 1. 0.85 1.11 2.26 0.91 1.17
time (sec) N/A 0.029 0.012 0.047 0.995 1.489 0.062 1.149
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 143 136 210 215 344 143 230
normalized size 1 0.99 0.94 1.45 1.48 2.37 0.99 1.59
time (sec) N/A 0.245 0.078 0.049 1.001 1.689 0.766 1.124
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 151 142 234 228 545 184 324
normalized size 1 0.99 0.93 1.53 1.49 3.56 1.2 2.12
time (sec) N/A 0.205 0.158 0.056 0.999 1.583 1.567 1.148
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 154 176 257 239 585 204 225
normalized size 1 0.99 1.13 1.65 1.53 3.75 1.31 1.44
time (sec) N/A 0.199 0.103 0.056 0.996 1.686 5.848 1.139
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 301 335 385 486 992 445 571
normalized size 1 0.99 1.1 1.27 1.6 3.26 1.46 1.88
time (sec) N/A 0.535 0.135 0.046 1.026 1.442 0.119 1.149
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 216 241 268 347 709 311 408
normalized size 1 1. 1.11 1.24 1.6 3.27 1.43 1.88
time (sec) N/A 0.313 0.092 0.045 1.005 1.405 0.105 1.128
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 144 151 208 428 180 244
normalized size 1 1. 1.12 1.18 1.62 3.34 1.41 1.91
time (sec) N/A 0.159 0.051 0.047 0.989 1.574 0.091 1.168
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 69 75 100 185 83 103
normalized size 1 1. 1.03 1.12 1.49 2.76 1.24 1.54
time (sec) N/A 0.04 0.029 0.046 1.019 1.509 0.077 1.159
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 297 295 285 490 509 786 350 562
normalized size 1 0.99 0.96 1.65 1.71 2.65 1.18 1.89
time (sec) N/A 0.64 0.168 0.054 0.999 1.755 1.469 1.139
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 289 272 527 529 1185 411 671
normalized size 1 0.99 0.93 1.8 1.81 4.06 1.41 2.3
time (sec) N/A 0.525 0.291 0.058 1.019 1.74 3.764 1.178
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 295 292 274 563 543 1305 471 536
normalized size 1 0.99 0.93 1.91 1.84 4.42 1.6 1.82
time (sec) N/A 0.495 0.136 0.061 1.03 1.731 16.442 1.162
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 404 400 459 553 691 1413 646 818
normalized size 1 0.99 1.14 1.37 1.71 3.5 1.6 2.02
time (sec) N/A 0.691 0.205 0.046 1.011 1.431 0.137 1.142
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 288 329 388 495 996 447 583
normalized size 1 1. 1.14 1.34 1.71 3.45 1.55 2.02
time (sec) N/A 0.424 0.132 0.044 1.003 1.396 0.121 1.167
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 196 223 300 603 265 352
normalized size 1 1. 1.16 1.32 1.78 3.57 1.57 2.08
time (sec) N/A 0.187 0.075 0.044 1.321 1.457 0.102 1.14
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 100 111 146 261 122 150
normalized size 1 1. 1.15 1.28 1.68 3. 1.4 1.72
time (sec) N/A 0.058 0.032 0.044 1.227 1.507 0.08 1.144
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 490 487 498 880 907 1385 658 1031
normalized size 1 0.99 1.02 1.8 1.85 2.83 1.34 2.1
time (sec) N/A 1.098 0.505 0.054 1.065 1.723 2.321 1.148
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 486 483 641 928 933 1987 731 1131
normalized size 1 0.99 1.32 1.91 1.92 4.09 1.5 2.33
time (sec) N/A 0.98 0.358 0.059 0.999 1.861 5.691 1.21
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 466 463 438 978 946 2198 799 981
normalized size 1 0.99 0.94 2.1 2.03 4.72 1.71 2.11
time (sec) N/A 0.967 0.235 0.061 1.086 1.828 36.916 1.151
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 62 76 111 153 75 150
normalized size 1 1. 3.65 4.47 6.53 9. 4.41 8.82
time (sec) N/A 0.032 0.026 0.049 0.991 1.596 0.565 1.172
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 62 76 111 153 75 150
normalized size 1 1. 3.65 4.47 6.53 9. 4.41 8.82
time (sec) N/A 0.019 0.013 0.047 0.959 1.672 0.546 1.169
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 90 157 216 234 155 292
normalized size 1 1. 5.29 9.24 12.71 13.76 9.12 17.18
time (sec) N/A 0.046 0.039 0.05 1.004 1.687 0.778 1.162
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 90 157 216 234 155 292
normalized size 1 1. 5.29 9.24 12.71 13.76 9.12 17.18
time (sec) N/A 0.025 0.021 0.05 0.959 1.606 0.761 1.174
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 237 223 399 0 1239 1000 377
normalized size 1 0.99 0.93 1.66 0. 5.16 4.17 1.57
time (sec) N/A 0.471 0.224 0.052 0. 1.882 6.769 1.144
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 166 155 256 0 855 638 238
normalized size 1 0.99 0.92 1.52 0. 5.09 3.8 1.42
time (sec) N/A 0.262 0.193 0.069 0. 1.853 4.463 1.137
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 86 133 0 468 335 123
normalized size 1 1. 0.92 1.43 0. 5.03 3.6 1.32
time (sec) N/A 0.117 0.11 0.05 0. 1.843 2.202 1.165
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 56 59 0 296 156 65
normalized size 1 1. 1.02 1.07 0. 5.38 2.84 1.18
time (sec) N/A 0.053 0.038 0.046 0. 1.739 0.674 1.166
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 120 247 0 575 0 169
normalized size 1 1. 0.9 1.86 0. 4.32 0. 1.27
time (sec) N/A 0.162 0.115 0.053 0. 47.1 0. 1.133
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 188 462 0 0 0 365
normalized size 1 1. 0.88 2.16 0. 0. 0. 1.71
time (sec) N/A 0.355 0.358 0.058 0. 0. 0. 1.154
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 305 305 277 754 0 0 0 660
normalized size 1 1. 0.91 2.47 0. 0. 0. 2.16
time (sec) N/A 0.651 0.348 0.061 0. 0. 0. 1.163
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 233 484 0 1881 949 390
normalized size 1 1. 1.08 2.24 0. 8.71 4.39 1.81
time (sec) N/A 0.505 0.214 0.056 0. 2.081 39.307 1.176
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 175 323 0 1276 593 248
normalized size 1 1. 1.2 2.21 0. 8.74 4.06 1.7
time (sec) N/A 0.245 0.151 0.051 0. 2.101 19.217 1.164
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 102 134 0 717 318 151
normalized size 1 1. 1.05 1.38 0. 7.39 3.28 1.56
time (sec) N/A 0.082 0.104 0.052 0. 1.769 6.495 1.151
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 68 76 0 412 116 81
normalized size 1 1. 0.99 1.1 0. 5.97 1.68 1.17
time (sec) N/A 0.043 0.053 0.049 0. 1.773 0.84 1.153
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 195 742 0 0 0 473
normalized size 1 1. 0.86 3.28 0. 0. 0. 2.09
time (sec) N/A 0.435 0.261 0.06 0. 0. 0. 1.204
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 374 371 320 1036 0 0 0 821
normalized size 1 0.99 0.86 2.77 0. 0. 0. 2.2
time (sec) N/A 0.95 0.467 0.067 0. 0. 0. 1.203
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 524 524 466 1588 0 0 0 1292
normalized size 1 1. 0.89 3.03 0. 0. 0. 2.47
time (sec) N/A 1.552 0.706 0.074 0. 0. 0. 1.189
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 281 402 0 2325 0 470
normalized size 1 1. 1.34 1.92 0. 11.12 0. 2.25
time (sec) N/A 0.304 0.324 0.056 0. 2.662 0. 1.165
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 175 211 283 0 1644 389 343
normalized size 1 1.12 1.35 1.81 0. 10.54 2.49 2.2
time (sec) N/A 0.231 0.154 0.053 0. 2.487 163.039 1.16
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 137 157 0 991 240 205
normalized size 1 1. 1.05 1.21 0. 7.62 1.85 1.58
time (sec) N/A 0.108 0.113 0.052 0. 2. 34.287 1.148
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 90 96 0 656 156 113
normalized size 1 1. 0.92 0.98 0. 6.69 1.59 1.15
time (sec) N/A 0.063 0.074 0.049 0. 1.764 1.567 1.153
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 321 1598 0 0 0 965
normalized size 1 1. 0.91 4.53 0. 0. 0. 2.73
time (sec) N/A 0.734 0.486 0.069 0. 0. 0. 1.181
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 571 566 498 2159 0 0 0 1494
normalized size 1 0.99 0.87 3.78 0. 0. 0. 2.62
time (sec) N/A 1.925 0.818 0.076 0. 0. 0. 1.214
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 753 753 672 2737 0 0 0 2068
normalized size 1 1. 0.89 3.63 0. 0. 0. 2.75
time (sec) N/A 3.143 1.226 0.081 0. 0. 0. 1.22
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 437 647 0 3753 0 859
normalized size 1 1. 1.87 2.76 0. 16.04 0. 3.67
time (sec) N/A 0.291 0.305 0.056 0. 1.713 0. 1.167
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 288 350 464 0 2807 0 641
normalized size 1 1.13 1.38 1.83 0. 11.05 0. 2.52
time (sec) N/A 0.542 0.322 0.053 0. 1.637 0. 1.188
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 266 333 0 2163 0 443
normalized size 1 1. 1.18 1.48 0. 9.61 0. 1.97
time (sec) N/A 0.398 0.169 0.053 0. 1.557 0. 1.154
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 171 182 0 1341 298 262
normalized size 1 1. 1.04 1.1 0. 8.13 1.81 1.59
time (sec) N/A 0.136 0.162 0.049 0. 1.455 127.102 1.159
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 112 113 0 900 196 147
normalized size 1 1. 0.89 0.9 0. 7.14 1.56 1.17
time (sec) N/A 0.078 0.089 0.05 0. 1.005 2.229 1.158
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 29 30 39 122 29 39
normalized size 1 1. 0.67 0.7 0.91 2.84 0.67 0.91
time (sec) N/A 0.05 0.018 0.046 1.477 0.975 0.119 1.155
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 27 24 31 111 20 31
normalized size 1 1. 0.9 0.8 1.03 3.7 0.67 1.03
time (sec) N/A 0.04 0.01 0.061 1.528 0.984 0.111 1.154
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 23 24 31 89 20 31
normalized size 1 1. 0.79 0.83 1.07 3.07 0.69 1.07
time (sec) N/A 0.025 0.008 0.046 1.467 0.989 0.114 1.152
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 16 58 10 16
normalized size 1 1. 1. 0.93 1.14 4.14 0.71 1.14
time (sec) N/A 0.011 0.007 0.045 1.484 0.98 0.105 1.162
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 28 26 34 117 24 35
normalized size 1 1. 0.9 0.84 1.1 3.77 0.77 1.13
time (sec) N/A 0.039 0.01 0.049 1.461 0.994 0.136 1.156
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 30 46 138 31 47
normalized size 1 1. 1. 0.91 1.39 4.18 0.94 1.42
time (sec) N/A 0.045 0.016 0.053 1.502 0.986 0.137 1.181
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 39 38 55 159 41 58
normalized size 1 1. 0.87 0.84 1.22 3.53 0.91 1.29
time (sec) N/A 0.063 0.016 0.051 1.474 1.037 0.159 1.155
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 22 12 13 16 50 8 16
normalized size 1 1.83 1. 1.08 1.33 4.17 0.67 1.33
time (sec) N/A 0.007 0.012 0.046 1.462 0.958 0.102 1.177
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 21 28 74 19 28
normalized size 1 1. 1. 0.78 1.04 2.74 0.7 1.04
time (sec) N/A 0.014 0.01 0.048 1.494 1.029 0.117 1.178
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 390 387 362 661 0 1889 1088 641
normalized size 1 0.99 0.93 1.69 0. 4.84 2.79 1.64
time (sec) N/A 0.83 0.471 0.058 0. 1.646 25.418 1.188
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 280 279 256 446 0 1319 738 433
normalized size 1 1. 0.91 1.59 0. 4.71 2.64 1.55
time (sec) N/A 0.498 0.697 0.054 0. 1.608 19.043 1.198
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 153 230 0 770 384 243
normalized size 1 1. 0.87 1.31 0. 4.4 2.19 1.39
time (sec) N/A 0.268 0.439 0.053 0. 1.426 10.094 1.192
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 98 111 0 448 170 117
normalized size 1 1. 0.92 1.05 0. 4.23 1.6 1.1
time (sec) N/A 0.064 0.2 0.05 0. 1.352 6.024 1.153
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 224 1265 0 0 0 375
normalized size 1 1. 1.09 6.14 0. 0. 0. 1.82
time (sec) N/A 0.392 0.477 0.301 0. 0. 0. 1.266
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 308 303 264 2818 0 0 0 0
normalized size 1 0.98 0.86 9.15 0. 0. 0. 0.
time (sec) N/A 0.509 0.284 0.234 0. 0. 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 296 295 318 4432 0 0 0 1246
normalized size 1 1. 1.07 14.97 0. 0. 0. 4.21
time (sec) N/A 0.546 0.653 0.239 0. 0. 0. 1.423
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 314 314 382 5565 0 0 0 2321
normalized size 1 1. 1.22 17.72 0. 0. 0. 7.39
time (sec) N/A 0.505 0.985 0.244 0. 0. 0. 1.478
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 313 312 439 7237 0 0 0 2869
normalized size 1 1. 1.4 23.12 0. 0. 0. 9.17
time (sec) N/A 0.429 1.316 0.25 0. 0. 0. 3.613
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 433 432 583 8546 0 0 0 5686
normalized size 1 1. 1.35 19.74 0. 0. 0. 13.13
time (sec) N/A 0.743 1.528 0.25 0. 0. 0. 1.623
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 462 462 481 794 0 2634 1916 880
normalized size 1 1. 1.04 1.72 0. 5.7 4.15 1.9
time (sec) N/A 1.134 0.573 0.061 0. 2.58 67.618 1.229
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 345 346 552 0 1878 1304 610
normalized size 1 1. 1. 1.6 0. 5.43 3.77 1.76
time (sec) N/A 0.524 1.149 0.057 0. 2.116 50.033 1.189
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 212 209 287 0 1107 768 356
normalized size 1 1. 0.98 1.35 0. 5.2 3.61 1.67
time (sec) N/A 0.271 0.688 0.052 0. 1.473 25.584 1.171
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 125 146 0 618 348 174
normalized size 1 1. 0.91 1.07 0. 4.51 2.54 1.27
time (sec) N/A 0.083 0.269 0.049 0. 1.395 14.993 1.193
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 326 326 348 2420 0 0 0 744
normalized size 1 1. 1.07 7.42 0. 0. 0. 2.28
time (sec) N/A 0.766 1.426 0.228 0. 0. 0. 1.229
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 428 392 5121 0 0 0 0
normalized size 1 0.99 0.91 11.85 0. 0. 0. 0.
time (sec) N/A 0.901 0.582 0.226 0. 0. 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 488 480 435 7817 0 0 0 1399
normalized size 1 0.98 0.89 16.02 0. 0. 0. 2.87
time (sec) N/A 0.921 0.706 0.239 0. 0. 0. 1.47
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 475 469 517 9835 0 0 0 2565
normalized size 1 0.99 1.09 20.71 0. 0. 0. 5.4
time (sec) N/A 0.845 1.401 0.252 0. 0. 0. 1.684
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 511 511 575 12481 0 0 0 0
normalized size 1 1. 1.13 24.42 0. 0. 0. 0.
time (sec) N/A 1.092 2.522 0.254 0. 0. 0. 0.
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 507 507 639 14169 0 0 0 5951
normalized size 1 1. 1.26 27.95 0. 0. 0. 11.74
time (sec) N/A 0.86 2.608 0.26 0. 0. 0. 2.139
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 404 403 696 17026 0 0 0 8265
normalized size 1 1. 1.72 42.14 0. 0. 0. 20.46
time (sec) N/A 0.552 2.475 0.27 0. 0. 0. 2.112
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 532 531 863 19093 0 0 0 10714
normalized size 1 1. 1.62 35.89 0. 0. 0. 20.14
time (sec) N/A 0.889 2.636 0.307 0. 0. 0. 2.142
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 150 181 0 809 510 227
normalized size 1 1. 0.89 1.08 0. 4.82 3.04 1.35
time (sec) N/A 0.102 0.334 0.05 0. 2.161 30.56 1.176
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 325 323 252 528 0 1284 796 424
normalized size 1 0.99 0.78 1.62 0. 3.95 2.45 1.3
time (sec) N/A 0.664 0.394 0.062 0. 2.084 19.693 1.173
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 222 164 339 0 871 518 278
normalized size 1 1. 0.74 1.52 0. 3.91 2.32 1.25
time (sec) N/A 0.372 0.25 0.061 0. 2.184 13.787 1.173
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 135 96 172 0 482 282 149
normalized size 1 0.99 0.71 1.26 0. 3.54 2.07 1.1
time (sec) N/A 0.179 0.113 0.055 0. 2.206 7.047 1.211
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 63 76 0 305 150 78
normalized size 1 1. 0.85 1.03 0. 4.12 2.03 1.05
time (sec) N/A 0.048 0.041 0.052 0. 2.003 3.071 1.173
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 125 453 0 0 0 186
normalized size 1 1. 0.96 3.48 0. 0. 0. 1.43
time (sec) N/A 0.174 0.231 0.236 0. 0. 0. 1.217
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 218 923 0 0 0 0
normalized size 1 1. 1.3 5.49 0. 0. 0. 0.
time (sec) N/A 0.235 0.419 0.249 0. 0. 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 224 254 1574 0 2209 0 1145
normalized size 1 1. 1.13 7. 0. 9.82 0. 5.09
time (sec) N/A 0.292 0.503 0.246 0. 62.253 0. 1.252
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 228 246 516 0 1635 0 458
normalized size 1 1. 1.07 2.25 0. 7.14 0. 2.
time (sec) N/A 0.325 0.503 0.06 0. 2.206 0. 1.201
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 177 327 0 1142 0 296
normalized size 1 1. 1.19 2.19 0. 7.66 0. 1.99
time (sec) N/A 0.184 0.302 0.058 0. 2.052 0. 1.188
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 102 163 0 606 209 157
normalized size 1 1. 1.02 1.63 0. 6.06 2.09 1.57
time (sec) N/A 0.087 0.151 0.056 0. 1.9 12.768 1.169
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 74 69 0 396 87 85
normalized size 1 1. 1.21 1.13 0. 6.49 1.43 1.39
time (sec) N/A 0.036 0.063 0.052 0. 1.718 5.61 1.185
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 137 862 0 1431 0 397
normalized size 1 1. 0.99 6.25 0. 10.37 0. 2.88
time (sec) N/A 0.141 0.203 0.256 0. 12.217 0. 1.185
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 285 1663 0 3160 0 0
normalized size 1 1. 1.19 6.96 0. 13.22 0. 0.
time (sec) N/A 0.418 0.727 0.234 0. 21.091 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 374 372 404 2584 0 5783 0 1944
normalized size 1 0.99 1.08 6.91 0. 15.46 0. 5.2
time (sec) N/A 1.028 1.272 0.258 0. 110.411 0. 1.39
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 50 47 112 139 194 65
normalized size 1 1. 0.75 0.7 1.67 2.07 2.9 0.97
time (sec) N/A 0.042 0.034 0.052 0.979 1.596 13.825 1.17
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 71 72 159 215 638 108
normalized size 1 1. 0.73 0.74 1.64 2.22 6.58 1.11
time (sec) N/A 0.057 0.052 0.048 0.992 1.622 39.559 1.201
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 92 96 207 289 1880 151
normalized size 1 1. 0.72 0.76 1.63 2.28 14.8 1.19
time (sec) N/A 0.087 0.067 0.052 0.999 1.712 122.907 1.219
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 54 79 105 174 94 73
normalized size 1 1. 0.51 0.75 0.99 1.64 0.89 0.69
time (sec) N/A 0.114 0.068 0.062 1.448 1.566 2.181 1.216
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 48 65 86 147 75 65
normalized size 1 1. 0.59 0.79 1.05 1.79 0.91 0.79
time (sec) N/A 0.088 0.043 0.055 1.496 1.529 1.152 1.194
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 44 51 68 136 63 59
normalized size 1 1. 0.71 0.82 1.1 2.19 1.02 0.95
time (sec) N/A 0.052 0.028 0.049 1.469 1.536 0.57 1.213
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 60 55 78 240 0 134
normalized size 1 1. 0.9 0.82 1.16 3.58 0. 2.
time (sec) N/A 0.081 0.03 0.052 1.497 1.58 0. 1.328
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 64 65 88 285 0 0
normalized size 1 1. 0.9 0.92 1.24 4.01 0. 0.
time (sec) N/A 0.07 0.107 0.058 1.493 1.654 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 55 74 103 234 0 243
normalized size 1 1. 0.71 0.96 1.34 3.04 0. 3.16
time (sec) N/A 0.067 0.068 0.058 1.478 1.577 0. 1.266
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 58 79 105 208 0 73
normalized size 1 1. 0.67 0.91 1.21 2.39 0. 0.84
time (sec) N/A 0.104 0.057 0.056 1.502 1.606 0. 1.32
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 53 65 86 184 0 66
normalized size 1 1. 0.75 0.92 1.21 2.59 0. 0.93
time (sec) N/A 0.084 0.053 0.054 1.53 1.555 0. 1.26
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 48 51 68 170 114 59
normalized size 1 1. 0.87 0.93 1.24 3.09 2.07 1.07
time (sec) N/A 0.044 0.03 0.052 1.473 1.85 12.906 1.209
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 51 88 78 215 0 111
normalized size 1 1. 0.96 1.66 1.47 4.06 0. 2.09
time (sec) N/A 0.06 0.024 0.053 1.504 1.812 0. 1.208
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 71 98 113 266 0 0
normalized size 1 1. 0.95 1.31 1.51 3.55 0. 0.
time (sec) N/A 0.077 0.042 0.057 1.482 1.7 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 78 107 167 321 0 265
normalized size 1 1. 0.8 1.1 1.72 3.31 0. 2.73
time (sec) N/A 0.123 0.088 0.059 1.54 1.656 0. 1.301
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 63 91 142 232 0 72
normalized size 1 1. 0.86 1.25 1.95 3.18 0. 0.99
time (sec) N/A 0.085 0.074 0.062 1.504 1.544 0. 1.214
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 58 77 123 212 0 65
normalized size 1 1. 0.97 1.28 2.05 3.53 0. 1.08
time (sec) N/A 0.075 0.053 0.057 1.464 1.584 0. 1.275
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 30 27 68 101 180 34
normalized size 1 1. 0.73 0.66 1.66 2.46 4.39 0.83
time (sec) N/A 0.053 0.018 0.049 0.971 1.549 111.998 1.251
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 58 133 109 273 0 123
normalized size 1 1. 0.79 1.82 1.49 3.74 0. 1.68
time (sec) N/A 0.085 0.051 0.056 1.495 1.563 0. 1.273
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 143 144 356 0 0
normalized size 1 1. 0.96 1.51 1.52 3.75 0. 0.
time (sec) N/A 0.169 0.063 0.059 1.505 1.654 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 75 140 198 417 0 247
normalized size 1 1. 0.64 1.2 1.69 3.56 0. 2.11
time (sec) N/A 0.206 0.105 0.063 1.523 1.7 0. 1.325
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 420 417 0 0 0 0 0 0
normalized size 1 0.99 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.604 1.199 0.796 0. 0. 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 403 401 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.453 0.726 0.742 0. 0. 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 474 474 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.519 2.91 0.754 0. 0. 0. 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 222 165 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.407 0.361 1.615 0. 0. 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 256 343 355 718 320 416
normalized size 1 1. 1.01 1.35 1.4 2.83 1.26 1.64
time (sec) N/A 0.326 0.097 0.046 1.009 1.222 0.113 1.174
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 163 223 223 444 197 252
normalized size 1 1. 1.01 1.39 1.39 2.76 1.22 1.57
time (sec) N/A 0.193 0.044 0.046 0.976 1.307 0.092 1.215
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 96 90 117 244 102 134
normalized size 1 1. 1. 0.94 1.22 2.54 1.06 1.4
time (sec) N/A 0.099 0.021 0.048 0.964 1.31 0.078 1.247
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 39 51 104 42 54
normalized size 1 1. 1. 0.85 1.11 2.26 0.91 1.17
time (sec) N/A 0.03 0.009 0.05 0.983 1.316 0.064 1.169
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 84 140 0 595 413 105
normalized size 1 1. 1.04 1.73 0. 7.35 5.1 1.3
time (sec) N/A 0.1 0.092 0.184 0. 1.572 1.221 1.316
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 98 146 0 1085 376 146
normalized size 1 1. 0.98 1.46 0. 10.85 3.76 1.46
time (sec) N/A 0.068 0.084 0.19 0. 1.602 1.287 1.244
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 160 373 0 2592 774 293
normalized size 1 1. 0.99 2.32 0. 16.1 4.81 1.82
time (sec) N/A 0.114 0.22 0.183 0. 1.735 2.665 1.272
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 204 643 0 4547 1224 549
normalized size 1 1. 0.99 3.12 0. 22.07 5.94 2.67
time (sec) N/A 0.19 0.4 0.187 0. 1.756 5.196 1.178
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 591 591 585 1738 0 4321 4962 1041
normalized size 1 1. 0.99 2.94 0. 7.31 8.4 1.76
time (sec) N/A 1.428 0.631 0.181 0. 9.137 83.989 1.285
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 345 1028 0 2600 2839 575
normalized size 1 1. 0.99 2.95 0. 7.47 8.16 1.65
time (sec) N/A 0.677 0.364 0.196 0. 3.852 37.39 1.259
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 173 510 0 1361 1265 271
normalized size 1 1. 0.98 2.88 0. 7.69 7.15 1.53
time (sec) N/A 0.35 0.21 0.18 0. 2.022 12.071 1.239
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 95 196 0 670 488 120
normalized size 1 1. 1.03 2.13 0. 7.28 5.3 1.3
time (sec) N/A 0.156 0.071 0.175 0. 1.627 2.039 1.133
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 193 622 0 0 0 275
normalized size 1 1. 0.98 3.17 0. 0. 0. 1.4
time (sec) N/A 0.349 0.243 0.183 0. 0. 0. 1.276
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 316 316 281 1125 0 0 0 606
normalized size 1 1. 0.89 3.56 0. 0. 0. 1.92
time (sec) N/A 0.761 0.657 0.192 0. 0. 0. 1.317
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 509 509 504 1945 0 0 0 1353
normalized size 1 1. 0.99 3.82 0. 0. 0. 2.66
time (sec) N/A 1.251 0.902 0.194 0. 0. 0. 1.261
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 398 1712 0 5646 0 729
normalized size 1 1. 1.38 5.94 0. 19.6 0. 2.53
time (sec) N/A 0.7 0.95 0.194 0. 4.94 0. 1.308
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 225 500 0 2957 1535 385
normalized size 1 1. 1.26 2.81 0. 16.61 8.62 2.16
time (sec) N/A 0.266 0.54 0.176 0. 2.704 53.152 1.341
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 114 194 0 1335 459 169
normalized size 1 1. 0.97 1.64 0. 11.31 3.89 1.43
time (sec) N/A 0.098 0.114 0.187 0. 1.558 2.314 1.165
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 405 3202 0 0 0 1161
normalized size 1 1. 1. 7.87 0. 0. 0. 2.85
time (sec) N/A 1.087 1.15 0.199 0. 0. 0. 1.34
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 673 673 650 4716 0 0 0 1940
normalized size 1 1. 0.97 7.01 0. 0. 0. 2.88
time (sec) N/A 2.559 2.476 0.215 0. 0. 0. 1.425
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 60 53 69 204 60 69
normalized size 1 1. 0.97 0.85 1.11 3.29 0.97 1.11
time (sec) N/A 0.074 0.033 0.049 1.433 2.34 0.143 1.199
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 46 62 192 54 62
normalized size 1 1. 1. 0.84 1.13 3.49 0.98 1.13
time (sec) N/A 0.066 0.027 0.048 1.523 2.329 0.133 1.174
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 52 45 58 167 51 58
normalized size 1 1. 1. 0.87 1.12 3.21 0.98 1.12
time (sec) N/A 0.052 0.02 0.047 1.497 2.349 0.138 1.338
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 39 34 43 115 41 43
normalized size 1 1. 0.95 0.83 1.05 2.8 1. 1.05
time (sec) N/A 0.033 0.022 0.044 1.518 1.903 0.125 1.285
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 48 63 203 54 65
normalized size 1 1. 1. 0.86 1.12 3.62 0.96 1.16
time (sec) N/A 0.089 0.025 0.048 1.535 1.627 0.179 1.235
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 61 55 73 225 65 74
normalized size 1 1. 1. 0.9 1.2 3.69 1.07 1.21
time (sec) N/A 0.128 0.023 0.049 1.463 1.851 0.177 1.273
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 66 60 85 250 71 85
normalized size 1 1. 0.97 0.88 1.25 3.68 1.04 1.25
time (sec) N/A 0.11 0.03 0.048 1.507 1.746 0.187 1.268
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 14 23 7 11
normalized size 1 1. 1. 1.1 1.4 2.3 0.7 1.1
time (sec) N/A 0.011 0.005 0.042 1.028 1.614 0.087 1.207
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 28 36 95 36 36
normalized size 1 1. 1. 0.9 1.16 3.06 1.16 1.16
time (sec) N/A 0.032 0.008 0.042 1.487 1.644 0.099 1.228
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 22 28 69 22 28
normalized size 1 1. 1. 0.96 1.22 3. 0.96 1.22
time (sec) N/A 0.035 0.005 0.05 1.484 1.701 0.101 1.338
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 19 18 23 69 14 24
normalized size 1 1. 0.9 0.86 1.1 3.29 0.67 1.14
time (sec) N/A 0.013 0.009 0.049 1.012 1.671 0.081 1.273
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 15 19 47 14 22
normalized size 1 1. 1. 0.83 1.06 2.61 0.78 1.22
time (sec) N/A 0.018 0.004 0.049 0.991 1.658 0.1 1.274
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 16 42 12 19
normalized size 1 1. 1. 0.93 1.14 3. 0.86 1.36
time (sec) N/A 0.017 0.005 0.049 0.991 1.611 0.097 1.246
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 31 22 28 70 22 28
normalized size 1 1. 1.15 0.81 1.04 2.59 0.81 1.04
time (sec) N/A 0.028 0.005 0.047 1.526 1.608 0.101 1.243
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 30 49 157 46 61
normalized size 1 1. 1. 0.62 1.02 3.27 0.96 1.27
time (sec) N/A 0.045 0.039 0.05 1.577 1.769 0.112 1.162
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 17 26 46 15 26
normalized size 1 1. 1. 0.81 1.24 2.19 0.71 1.24
time (sec) N/A 0.012 0.007 0.048 1.004 1.648 0.113 1.227
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 34 41 117 37 41
normalized size 1 1. 1. 0.87 1.05 3. 0.95 1.05
time (sec) N/A 0.023 0.025 0.048 1.565 1.684 0.123 1.246
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 45 70 31 15
normalized size 1 1. 1. 1.09 4.09 6.36 2.82 1.36
time (sec) N/A 0.008 0.006 0.047 1.029 1.621 0.13 1.269
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 344 997 0 2342 0 651
normalized size 1 1. 1.29 3.73 0. 8.77 0. 2.44
time (sec) N/A 0.238 0.851 0.055 0. 2.888 0. 1.25
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 267 613 0 1451 0 401
normalized size 1 1. 1.26 2.89 0. 6.84 0. 1.89
time (sec) N/A 0.183 0.55 0.057 0. 2.306 0. 1.321
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 144 327 0 846 0 216
normalized size 1 1. 0.92 2.08 0. 5.39 0. 1.38
time (sec) N/A 0.124 0.2 0.053 0. 2.098 0. 1.252
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 86 136 0 494 0 113
normalized size 1 1. 0.83 1.31 0. 4.75 0. 1.09
time (sec) N/A 0.08 0.146 0.051 0. 1.98 0. 1.345
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 104 169 0 892 0 149
normalized size 1 1. 1.06 1.72 0. 9.1 0. 1.52
time (sec) N/A 0.077 0.763 0.052 0. 3.141 0. 1.34
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 107 137 0 520 0 293
normalized size 1 1. 0.94 1.2 0. 4.56 0. 2.57
time (sec) N/A 0.093 0.89 0.049 0. 9.072 0. 1.243
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 148 316 0 1224 0 659
normalized size 1 1. 0.89 1.89 0. 7.33 0. 3.95
time (sec) N/A 0.107 1.854 0.051 0. 77.5 0. 1.287
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 199 555 0 0 0 1152
normalized size 1 1. 0.9 2.52 0. 0. 0. 5.24
time (sec) N/A 0.142 1.782 0.053 0. 0. 0. 1.354
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 930 927 1093 3543 0 6407 0 2298
normalized size 1 1. 1.18 3.81 0. 6.89 0. 2.47
time (sec) N/A 3.013 2.447 0.067 0. 12.168 0. 1.324
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 584 581 436 2179 0 4019 0 1366
normalized size 1 0.99 0.75 3.73 0. 6.88 0. 2.34
time (sec) N/A 1.44 0.966 0.059 0. 6.63 0. 1.271
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 258 1117 0 2275 0 668
normalized size 1 1. 0.8 3.47 0. 7.07 0. 2.07
time (sec) N/A 0.504 0.493 0.053 0. 3.7 0. 1.349
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 173 453 0 1061 0 286
normalized size 1 1. 0.99 2.59 0. 6.06 0. 1.63
time (sec) N/A 0.167 0.286 0.052 0. 1.734 0. 1.248
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 321 321 331 2549 0 0 0 0
normalized size 1 1. 1.03 7.94 0. 0. 0. 0.
time (sec) N/A 0.778 0.782 0.352 0. 0. 0. 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 459 453 486 6218 0 0 0 0
normalized size 1 0.99 1.06 13.55 0. 0. 0. 0.
time (sec) N/A 1.1 1.695 0.273 0. 0. 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 448 446 645 12139 0 0 0 0
normalized size 1 1. 1.44 27.1 0. 0. 0. 0.
time (sec) N/A 0.875 3.952 0.285 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 603 601 439 19321 0 0 0 0
normalized size 1 1. 0.73 32.04 0. 0. 0. 0.
time (sec) N/A 1.449 2.287 0.3 0. 0. 0. 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 497 499 447 29161 0 0 0 0
normalized size 1 1. 0.9 58.67 0. 0. 0. 0.
time (sec) N/A 0.855 4.795 0.284 0. 0. 0. 0.
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 824 826 1129 40336 0 0 0 0
normalized size 1 1. 1.37 48.95 0. 0. 0. 0.
time (sec) N/A 2.335 6.328 0.292 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1169 1166 721 5881 0 11167 0 4019
normalized size 1 1. 0.62 5.03 0. 9.55 0. 3.44
time (sec) N/A 3.698 3.005 0.078 0. 30.47 0. 1.354
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 753 749 468 3769 0 7302 0 2500
normalized size 1 0.99 0.62 5.01 0. 9.7 0. 3.32
time (sec) N/A 2.104 1.678 0.065 0. 13.636 0. 1.204
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 418 418 285 2026 0 4232 0 1289
normalized size 1 1. 0.68 4.85 0. 10.12 0. 3.08
time (sec) N/A 0.645 0.806 0.059 0. 4.759 0. 1.223
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 392 862 0 1947 0 563
normalized size 1 1. 1.66 3.65 0. 8.25 0. 2.39
time (sec) N/A 0.242 0.697 0.053 0. 2.13 0. 1.197
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 660 660 635 6715 0 0 0 0
normalized size 1 1. 0.96 10.17 0. 0. 0. 0.
time (sec) N/A 1.825 2.407 0.263 0. 0. 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 754 750 756 14734 0 0 0 0
normalized size 1 0.99 1. 19.54 0. 0. 0. 0.
time (sec) N/A 2.503 4.603 0.264 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 824 819 4162 26596 0 0 0 0
normalized size 1 0.99 5.05 32.28 0. 0. 0. 0.
time (sec) N/A 2.141 6.293 0.265 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 833 829 7806 40092 0 0 0 9881
normalized size 1 1. 9.37 48.13 0. 0. 0. 11.86
time (sec) N/A 2.264 6.501 0.299 0. 0. 0. 25.736
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1097 1096 46895 57957 0 0 0 0
normalized size 1 1. 42.75 52.83 0. 0. 0. 0.
time (sec) N/A 3.123 6.632 0.28 0. 0. 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1226 1223 1111 76693 0 0 0 0
normalized size 1 1. 0.91 62.56 0. 0. 0. 0.
time (sec) N/A 3.997 6.305 0.288 0. 0. 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 657 660 765 100754 0 0 0 0
normalized size 1 1. 1.16 153.35 0. 0. 0. 0.
time (sec) N/A 1.216 6.245 0.322 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1062 1062 1222 126612 0 0 0 0
normalized size 1 1. 1.15 119.22 0. 0. 0. 0.
time (sec) N/A 3.004 6.419 0.396 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 70 115 170 285 0 105
normalized size 1 1. 0.49 0.8 1.19 1.99 0. 0.73
time (sec) N/A 0.138 0.047 0.057 1.528 1.908 0. 1.349
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 65 98 147 243 0 99
normalized size 1 1. 0.55 0.83 1.25 2.06 0. 0.84
time (sec) N/A 0.112 0.039 0.055 1.489 1.556 0. 1.16
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 60 81 124 228 0 92
normalized size 1 1. 0.65 0.87 1.33 2.45 0. 0.99
time (sec) N/A 0.066 0.029 0.051 1.536 1.63 0. 1.162
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 86 95 130 321 0 170
normalized size 1 1. 0.85 0.94 1.29 3.18 0. 1.68
time (sec) N/A 0.117 0.056 0.054 1.529 1.621 0. 1.261
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 92 123 139 363 0 513
normalized size 1 1. 0.85 1.14 1.29 3.36 0. 4.75
time (sec) N/A 0.116 0.088 0.055 1.639 1.63 0. 1.672
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 93 125 154 405 0 0
normalized size 1 1. 0.81 1.09 1.34 3.52 0. 0.
time (sec) N/A 0.117 0.082 0.057 1.497 1.652 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 80 134 209 354 0 119
normalized size 1 1. 0.51 0.85 1.32 2.24 0. 0.75
time (sec) N/A 0.201 0.05 0.055 1.54 1.407 0. 1.18
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 75 117 186 308 0 112
normalized size 1 1. 0.53 0.83 1.32 2.18 0. 0.79
time (sec) N/A 0.121 0.043 0.055 1.504 1.63 0. 1.154
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 70 100 163 277 0 105
normalized size 1 1. 0.6 0.86 1.41 2.39 0. 0.91
time (sec) N/A 0.082 0.036 0.051 1.503 1.568 0. 1.17
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 96 151 169 367 0 184
normalized size 1 1. 0.77 1.22 1.36 2.96 0. 1.48
time (sec) N/A 0.144 0.058 0.051 1.484 1.608 0. 1.285
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 103 179 178 396 0 770
normalized size 1 1. 0.79 1.37 1.36 3.02 0. 5.88
time (sec) N/A 0.14 0.09 0.055 1.496 1.714 0. 1.85
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 103 162 193 433 0 0
normalized size 1 1. 0.75 1.17 1.4 3.14 0. 0.
time (sec) N/A 0.139 0.104 0.063 1.492 1.69 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 90 153 248 444 0 132
normalized size 1 1. 0.48 0.81 1.31 2.35 0. 0.7
time (sec) N/A 0.156 0.06 0.059 1.491 1.451 0. 1.278
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 85 136 225 390 0 126
normalized size 1 1. 0.52 0.83 1.37 2.38 0. 0.77
time (sec) N/A 0.133 0.055 0.056 1.48 1.328 0. 1.192
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 80 119 203 344 0 119
normalized size 1 1. 0.58 0.86 1.46 2.47 0. 0.86
time (sec) N/A 0.092 0.045 0.055 1.565 1.359 0. 1.212
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 106 207 208 440 0 197
normalized size 1 1. 0.72 1.41 1.41 2.99 0. 1.34
time (sec) N/A 0.16 0.074 0.052 1.513 1.372 0. 1.347
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 113 235 217 462 0 1026
normalized size 1 1. 0.73 1.53 1.41 3. 0. 6.66
time (sec) N/A 0.163 0.115 0.061 1.569 1.567 0. 2.011
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 113 199 232 487 0 0
normalized size 1 1. 0.7 1.24 1.44 3.02 0. 0.
time (sec) N/A 0.163 0.108 0.059 1.593 1.491 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 693 692 588 1869 0 3267 0 1110
normalized size 1 1. 0.85 2.7 0. 4.71 0. 1.6
time (sec) N/A 2.102 1.281 0.063 0. 3.633 0. 1.267
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 420 418 343 1069 0 1953 0 617
normalized size 1 1. 0.82 2.55 0. 4.65 0. 1.47
time (sec) N/A 1.011 0.67 0.063 0. 2.177 0. 1.246
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 215 505 0 1060 0 284
normalized size 1 1. 0.96 2.26 0. 4.75 0. 1.27
time (sec) N/A 0.303 0.256 0.056 0. 2.484 0. 1.222
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 96 185 0 549 0 132
normalized size 1 1. 0.83 1.59 0. 4.73 0. 1.14
time (sec) N/A 0.106 0.152 0.054 0. 1.429 0. 1.316
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 172 599 0 0 0 0
normalized size 1 1. 0.96 3.35 0. 0. 0. 0.
time (sec) N/A 0.293 0.286 0.317 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 239 227 1671 0 0 0 0
normalized size 1 0.99 0.94 6.93 0. 0. 0. 0.
time (sec) N/A 0.371 0.477 0.279 0. 0. 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 367 3615 0 0 0 3114
normalized size 1 1. 1.09 10.76 0. 0. 0. 9.27
time (sec) N/A 0.656 1.349 0.285 0. 0. 0. 1.363
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 504 502 715 2780 0 6238 0 1423
normalized size 1 1. 1.42 5.52 0. 12.38 0. 2.82
time (sec) N/A 1.176 1.648 0.064 0. 132.617 0. 1.245
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 288 412 1557 0 3730 0 783
normalized size 1 1. 1.43 5.39 0. 12.91 0. 2.71
time (sec) N/A 0.392 0.832 0.063 0. 90.979 0. 1.335
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 205 735 0 1939 0 366
normalized size 1 1. 1.1 3.95 0. 10.42 0. 1.97
time (sec) N/A 0.227 0.781 0.057 0. 53.432 0. 1.222
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 113 249 0 941 0 165
normalized size 1 1. 1.02 2.24 0. 8.48 0. 1.49
time (sec) N/A 0.066 0.319 0.056 0. 4.565 0. 1.211
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 271 2079 0 3934 0 971
normalized size 1 1. 1.2 9.24 0. 17.48 0. 4.32
time (sec) N/A 0.266 0.584 0.293 0. 131.668 0. 1.205
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 421 418 487 4930 0 0 0 0
normalized size 1 0.99 1.16 11.71 0. 0. 0. 0.
time (sec) N/A 0.797 3.262 0.301 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 713 707 2046 9126 0 0 0 7610
normalized size 1 0.99 2.87 12.8 0. 0. 0. 10.67
time (sec) N/A 2.67 6.212 0.327 0. 0. 0. 1.784
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 60 96 131 224 0 92
normalized size 1 1. 0.5 0.8 1.09 1.87 0. 0.77
time (sec) N/A 0.135 0.047 0.056 1.516 1.623 0. 1.183
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 55 79 108 201 0 85
normalized size 1 1. 0.58 0.83 1.14 2.12 0. 0.89
time (sec) N/A 0.099 0.033 0.056 1.542 1.703 0. 1.188
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 50 62 85 178 0 78
normalized size 1 1. 0.71 0.89 1.21 2.54 0. 1.11
time (sec) N/A 0.058 0.021 0.057 1.537 1.616 0. 1.169
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 78 60 90 289 0 157
normalized size 1 1. 1. 0.77 1.15 3.71 0. 2.01
time (sec) N/A 0.097 0.037 0.051 1.514 1.659 0. 1.247
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 82 67 100 336 0 0
normalized size 1 1. 0.99 0.81 1.2 4.05 0. 0.
time (sec) N/A 0.095 0.052 0.056 1.543 1.701 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 69 74 111 252 0 275
normalized size 1 1. 0.78 0.83 1.25 2.83 0. 3.09
time (sec) N/A 0.088 0.045 0.055 1.595 1.287 0. 1.221
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 69 115 131 269 0 90
normalized size 1 1. 0.67 1.12 1.27 2.61 0. 0.87
time (sec) N/A 0.124 0.041 0.053 1.547 1.098 0. 1.199
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 61 98 108 244 0 84
normalized size 1 1. 0.74 1.2 1.32 2.98 0. 1.02
time (sec) N/A 0.108 0.032 0.053 1.554 1.127 0. 1.151
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 50 81 85 224 0 77
normalized size 1 1. 0.79 1.29 1.35 3.56 0. 1.22
time (sec) N/A 0.06 0.13 0.049 1.526 0.94 0. 1.196
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 73 102 86 247 0 123
normalized size 1 1. 1.18 1.65 1.39 3.98 0. 1.98
time (sec) N/A 0.074 0.022 0.061 1.934 1.01 0. 1.215
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 74 109 130 285 0 0
normalized size 1 1. 0.85 1.25 1.49 3.28 0. 0.
time (sec) N/A 0.092 0.046 0.055 1.501 1.151 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 79 111 196 344 0 301
normalized size 1 1. 0.71 0.99 1.75 3.07 0. 2.69
time (sec) N/A 0.155 0.058 0.057 1.507 1.132 0. 1.245
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 71 163 273 325 0 90
normalized size 1 1. 0.83 1.9 3.17 3.78 0. 1.05
time (sec) N/A 0.113 0.063 0.056 1.529 1.143 0. 1.156
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 66 146 250 304 0 84
normalized size 1 1. 0.97 2.15 3.68 4.47 0. 1.24
time (sec) N/A 0.095 0.148 0.054 1.462 1.063 0. 1.159
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 33 30 103 136 0 38
normalized size 1 1. 0.7 0.64 2.19 2.89 0. 0.81
time (sec) N/A 0.048 0.06 0.046 1.004 1.002 0. 1.183
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 72 158 126 344 0 136
normalized size 1 1. 0.85 1.86 1.48 4.05 0. 1.6
time (sec) N/A 0.094 0.048 0.056 1.473 1.108 0. 1.209
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 111 165 169 397 0 0
normalized size 1 1. 1.01 1.5 1.54 3.61 0. 0.
time (sec) N/A 0.151 0.062 0.057 1.482 1.085 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 89 148 235 460 0 315
normalized size 1 1. 0.66 1.1 1.74 3.41 0. 2.33
time (sec) N/A 0.213 0.076 0.061 1.494 1.199 0. 1.232
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 219 324 0 941 0 0
normalized size 1 1. 1.05 1.56 0. 4.52 0. 0.
time (sec) N/A 0.424 0.52 0.06 0. 134.36 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 906 905 15669 19955 0 0 0 0
normalized size 1 1. 17.29 22.03 0. 0. 0. 0.
time (sec) N/A 2.7 15.29 0.426 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 668 668 9965 12761 0 0 0 0
normalized size 1 1. 14.92 19.1 0. 0. 0. 0.
time (sec) N/A 1.188 14.439 0.426 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 749 746 13240 8221 0 0 0 0
normalized size 1 1. 17.68 10.98 0. 0. 0. 0.
time (sec) N/A 1.518 14.111 0.379 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 712 711 8456 21038 0 0 0 0
normalized size 1 1. 11.88 29.55 0. 0. 0. 0.
time (sec) N/A 1.271 14.451 0.452 0. 0. 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 992 989 12997 48427 0 0 0 0
normalized size 1 1. 13.1 48.82 0. 0. 0. 0.
time (sec) N/A 1.916 14.864 0.566 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1363 1363 19853 88790 0 0 0 0
normalized size 1 1. 14.57 65.14 0. 0. 0. 0.
time (sec) N/A 4.2 16.486 0.738 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1904 1904 29140 153623 0 0 0 0
normalized size 1 1. 15.3 80.68 0. 0. 0. 0.
time (sec) N/A 6.243 19.21 1.017 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 724 724 9972 14084 0 0 0 0
normalized size 1 1. 13.77 19.45 0. 0. 0. 0.
time (sec) N/A 1.779 14.573 0.438 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 557 557 992 8161 0 0 0 0
normalized size 1 1. 1.78 14.65 0. 0. 0. 0.
time (sec) N/A 0.889 11.719 0.361 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 471 470 1080 4251 0 0 0 0
normalized size 1 1. 2.29 9.03 0. 0. 0. 0.
time (sec) N/A 0.482 12.587 0.404 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 508 506 772 6053 0 0 0 0
normalized size 1 1. 1.52 11.92 0. 0. 0. 0.
time (sec) N/A 0.649 7.383 0.376 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 684 680 1194 20481 0 0 0 0
normalized size 1 0.99 1.75 29.94 0. 0. 0. 0.
time (sec) N/A 1.192 12.204 0.463 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 944 942 12295 46695 0 0 0 0
normalized size 1 1. 13.02 49.47 0. 0. 0. 0.
time (sec) N/A 2.256 15.282 0.628 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 510 508 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.833 2.318 1.428 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 496 494 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.672 1.466 1.338 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 590 588 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.755 3.636 1.356 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 119 36 80 166 221 190
normalized size 1 1. 2.9 0.88 1.95 4.05 5.39 4.63
time (sec) N/A 0.052 0.095 0.044 1.111 1.395 9.565 1.226
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 34 39 89 182 280 258
normalized size 1 1. 0.74 0.85 1.93 3.96 6.09 5.61
time (sec) N/A 0.072 0.124 0.049 1.116 1.375 95.992 1.178
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 43 51 132 269 483 424
normalized size 1 1. 0.75 0.89 2.32 4.72 8.47 7.44
time (sec) N/A 0.121 0.3 0.049 1.146 1.37 113.673 1.224
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 167 8419 2402 5253 2281 3217
normalized size 1 1. 8.35 420.95 120.1 262.65 114.05 160.85
time (sec) N/A 0.42 0.439 0.049 1.056 1.121 0.394 1.208
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 19 24 58 20 27
normalized size 1 1. 1. 0.73 0.92 2.23 0.77 1.04
time (sec) N/A 0.025 0.005 0.047 0.999 1.365 0.103 1.192
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 346 282 783 0 1666 0 446
normalized size 1 1. 0.82 2.26 0. 4.82 0. 1.29
time (sec) N/A 0.812 0.727 0.058 0. 2.159 0. 1.231
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 199 532 0 1173 0 308
normalized size 1 1. 0.81 2.17 0. 4.79 0. 1.26
time (sec) N/A 0.438 0.459 0.055 0. 1.622 0. 1.199
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 141 333 0 803 0 201
normalized size 1 1. 0.8 1.88 0. 4.54 0. 1.14
time (sec) N/A 0.235 0.272 0.086 0. 1.535 0. 1.187
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 134 220 0 1759 0 0
normalized size 1 1. 0.86 1.42 0. 11.35 0. 0.
time (sec) N/A 0.256 0.385 0.052 0. 19.893 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 127 173 0 1658 0 231
normalized size 1 1. 0.91 1.24 0. 11.93 0. 1.66
time (sec) N/A 0.235 0.403 0.054 0. 12.899 0. 1.255
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 137 241 0 1837 0 475
normalized size 1 1. 0.86 1.52 0. 11.55 0. 2.99
time (sec) N/A 0.244 0.371 0.056 0. 18.345 0. 1.296
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 150 375 0 848 0 930
normalized size 1 1. 0.81 2.02 0. 4.56 0. 5.
time (sec) N/A 0.32 0.313 0.057 0. 21.001 0. 1.186
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 212 591 0 1216 0 1955
normalized size 1 1. 0.79 2.19 0. 4.5 0. 7.24
time (sec) N/A 0.488 0.556 0.061 0. 42.742 0. 1.213
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 299 859 0 1708 0 2939
normalized size 1 1. 0.81 2.32 0. 4.6 0. 7.92
time (sec) N/A 0.817 0.78 0.062 0. 115.592 0. 1.261
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 212 208 278 560 230 311
normalized size 1 1. 0.82 0.81 1.08 2.17 0.89 1.21
time (sec) N/A 0.257 0.041 0.043 0.985 0.831 0.105 1.125
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 136 146 196 389 158 216
normalized size 1 1. 0.87 0.93 1.25 2.48 1.01 1.38
time (sec) N/A 0.166 0.033 0.044 0.954 0.84 0.095 1.123
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 93 84 107 217 87 122
normalized size 1 1. 1. 0.9 1.15 2.33 0.94 1.31
time (sec) N/A 0.108 0.014 0.043 0.991 0.84 0.083 1.143
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 35 46 84 37 46
normalized size 1 1. 1. 0.83 1.1 2. 0.88 1.1
time (sec) N/A 0.025 0.001 0.043 0.97 0.869 0.063 1.146
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 179 286 308 520 221 308
normalized size 1 1. 0.79 1.25 1.35 2.28 0.97 1.35
time (sec) N/A 0.193 0.059 0.05 1. 0.997 0.574 1.161
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 223 313 316 728 226 416
normalized size 1 1. 0.98 1.37 1.39 3.19 0.99 1.82
time (sec) N/A 0.191 0.089 0.057 0.994 0.952 1.04 1.17
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 204 336 324 819 238 292
normalized size 1 1. 0.88 1.45 1.4 3.55 1.03 1.26
time (sec) N/A 0.204 0.068 0.051 0.994 0.924 1.822 1.167
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 391 391 277 264 355 778 298 400
normalized size 1 1. 0.71 0.68 0.91 1.99 0.76 1.02
time (sec) N/A 0.386 0.043 0.058 0.963 0.926 0.119 1.145
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 201 186 250 540 206 278
normalized size 1 1. 1. 0.93 1.24 2.69 1.02 1.38
time (sec) N/A 0.24 0.027 0.041 0.995 0.825 0.105 1.153
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 121 108 142 302 112 157
normalized size 1 1. 1. 0.89 1.17 2.5 0.93 1.3
time (sec) N/A 0.16 0.018 0.043 0.965 0.871 0.089 1.139
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 60 45 59 132 56 59
normalized size 1 1. 1. 0.75 0.98 2.2 0.93 0.98
time (sec) N/A 0.036 0.001 0.043 0.995 0.916 0.069 1.153
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 352 352 262 465 494 875 347 510
normalized size 1 1. 0.74 1.32 1.4 2.49 0.99 1.45
time (sec) N/A 0.316 0.122 0.052 1.016 1.054 0.718 1.141
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 342 500 502 1211 367 620
normalized size 1 1. 0.97 1.42 1.42 3.43 1.04 1.76
time (sec) N/A 0.328 0.136 0.058 0.996 0.985 1.456 1.166
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 354 354 311 531 510 1323 379 478
normalized size 1 1. 0.88 1.5 1.44 3.74 1.07 1.35
time (sec) N/A 0.343 0.104 0.056 0.986 1. 2.829 1.151
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 344 558 527 1434 391 466
normalized size 1 1. 0.96 1.55 1.46 3.98 1.09 1.29
time (sec) N/A 0.358 0.121 0.056 1.013 1.022 5.233 1.142
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 178 291 278 626 450 286
normalized size 1 1. 0.81 1.32 1.26 2.83 2.04 1.29
time (sec) N/A 0.19 0.129 0.051 1.496 1.004 1.247 1.147
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 130 191 190 436 303 196
normalized size 1 1. 0.83 1.22 1.22 2.79 1.94 1.26
time (sec) N/A 0.162 0.084 0.052 1.54 1.007 0.998 1.136
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 86 102 113 275 163 119
normalized size 1 1. 0.87 1.03 1.14 2.78 1.65 1.2
time (sec) N/A 0.108 0.05 0.046 1.565 1.312 0.686 1.122
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 50 44 58 157 61 58
normalized size 1 1. 0.89 0.79 1.04 2.8 1.09 1.04
time (sec) N/A 0.049 0.018 0.048 1.543 1.233 0.123 1.172
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 146 298 216 414 4106 213
normalized size 1 1. 0.87 1.77 1.29 2.46 24.44 1.27
time (sec) N/A 0.194 0.104 0.058 1.472 1.526 11.239 1.125
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 233 538 397 995 8391 479
normalized size 1 1. 1. 2.31 1.7 4.27 36.01 2.06
time (sec) N/A 0.251 0.15 0.063 1.474 1.827 20.706 1.171
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 317 278 819 672 1674 0 548
normalized size 1 1. 0.88 2.58 2.12 5.28 0. 1.73
time (sec) N/A 0.29 0.432 0.062 1.508 2.305 0. 1.166
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 209 283 286 1046 444 278
normalized size 1 1. 1.11 1.5 1.51 5.53 2.35 1.47
time (sec) N/A 0.255 0.155 0.055 1.639 1.289 2.556 1.134
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 150 189 198 747 298 196
normalized size 1 1. 1.07 1.35 1.41 5.34 2.13 1.4
time (sec) N/A 0.208 0.109 0.056 1.544 1.217 1.743 1.166
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 96 106 122 462 163 127
normalized size 1 1. 0.99 1.09 1.26 4.76 1.68 1.31
time (sec) N/A 0.193 0.066 0.055 1.496 1.207 1.113 1.144
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 59 51 70 244 63 70
normalized size 1 1. 0.94 0.81 1.11 3.87 1. 1.11
time (sec) N/A 0.077 0.037 0.048 1.5 1.24 0.171 1.162
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 186 691 390 1191 8322 383
normalized size 1 1. 0.83 3.08 1.74 5.32 37.15 1.71
time (sec) N/A 0.34 0.16 0.1 1.604 1.68 18.377 1.175
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 313 313 270 986 740 2264 13362 771
normalized size 1 1. 0.86 3.15 2.36 7.23 42.69 2.46
time (sec) N/A 0.498 0.255 0.072 1.576 1.919 27.34 1.225
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 412 412 363 1314 1149 3853 0 803
normalized size 1 1. 0.88 3.19 2.79 9.35 0. 1.95
time (sec) N/A 0.715 0.37 0.073 1.66 2.904 0. 1.257
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 209 267 300 1339 469 271
normalized size 1 1. 1.22 1.56 1.75 7.83 2.74 1.58
time (sec) N/A 0.336 0.201 0.059 1.55 1.258 5.288 1.149
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 146 179 209 933 304 194
normalized size 1 1. 1.09 1.34 1.56 6.96 2.27 1.45
time (sec) N/A 0.239 0.176 0.053 1.543 1.254 3.385 1.14
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 107 102 136 558 163 131
normalized size 1 1. 1.04 0.99 1.32 5.42 1.58 1.27
time (sec) N/A 0.145 0.08 0.053 1.485 1.263 1.652 1.165
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 53 47 76 243 61 62
normalized size 1 1. 0.83 0.73 1.19 3.8 0.95 0.97
time (sec) N/A 0.05 0.038 0.047 1.5 1.29 0.185 1.148
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 329 282 1437 771 2678 0 621
normalized size 1 1. 0.86 4.37 2.34 8.14 0. 1.89
time (sec) N/A 0.496 0.297 0.071 1.578 2.324 0. 1.158
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 443 443 389 1850 1237 4680 0 1029
normalized size 1 1. 0.88 4.18 2.79 10.56 0. 2.32
time (sec) N/A 0.893 0.481 0.077 1.705 3.376 0. 1.264
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 70 115 170 296 0 105
normalized size 1 1. 0.49 0.8 1.19 2.07 0. 0.73
time (sec) N/A 0.155 0.155 0.054 1.522 1.309 0. 1.166
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 65 98 147 258 0 99
normalized size 1 1. 0.52 0.79 1.19 2.08 0. 0.8
time (sec) N/A 0.092 0.101 0.055 1.577 1.355 0. 1.174
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 91 127 173 394 0 174
normalized size 1 1. 0.61 0.85 1.16 2.64 0. 1.17
time (sec) N/A 0.24 0.148 0.056 1.591 1.386 0. 1.164
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 98 152 178 431 0 717
normalized size 1 1. 0.66 1.02 1.19 2.89 0. 4.81
time (sec) N/A 0.237 0.163 0.059 1.536 1.415 0. 1.312
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 98 158 193 479 0 348
normalized size 1 1. 0.65 1.05 1.28 3.17 0. 2.3
time (sec) N/A 0.228 0.156 0.063 1.503 1.411 0. 1.275
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 98 165 216 543 0 410
normalized size 1 1. 0.62 1.04 1.37 3.44 0. 2.59
time (sec) N/A 0.226 0.159 0.064 1.562 1.42 0. 1.398
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 98 167 244 618 0 441
normalized size 1 1. 0.59 1.01 1.48 3.75 0. 2.67
time (sec) N/A 0.234 0.179 0.066 1.598 1.458 0. 1.338
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 98 188 300 694 0 522
normalized size 1 1. 0.59 1.14 1.82 4.21 0. 3.16
time (sec) N/A 0.229 0.212 0.074 1.616 1.407 0. 1.299
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 91 195 338 555 0 547
normalized size 1 1. 0.54 1.15 2. 3.28 0. 3.24
time (sec) N/A 0.218 0.173 0.089 1.605 1.36 0. 1.308
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 96 216 406 649 0 616
normalized size 1 1. 0.49 1.11 2.09 3.35 0. 3.18
time (sec) N/A 0.268 0.207 0.078 1.547 1.44 0. 1.341
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 80 134 209 375 0 119
normalized size 1 1. 0.48 0.81 1.26 2.26 0. 0.72
time (sec) N/A 0.194 0.191 0.059 1.584 1.323 0. 1.224
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 75 117 186 316 0 112
normalized size 1 1. 0.51 0.8 1.27 2.15 0. 0.76
time (sec) N/A 0.121 0.13 0.055 1.478 1.286 0. 1.388
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 101 183 212 462 0 188
normalized size 1 1. 0.59 1.06 1.23 2.69 0. 1.09
time (sec) N/A 0.268 0.188 0.056 1.615 1.449 0. 1.22
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 108 208 217 504 0 954
normalized size 1 1. 0.63 1.21 1.26 2.93 0. 5.55
time (sec) N/A 0.282 0.225 0.06 1.583 1.468 0. 1.363
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 108 214 232 524 0 362
normalized size 1 1. 0.62 1.23 1.33 3.01 0. 2.08
time (sec) N/A 0.273 0.212 0.061 1.589 1.398 0. 1.254
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 108 221 255 581 0 424
normalized size 1 1. 0.6 1.22 1.41 3.21 0. 2.34
time (sec) N/A 0.267 0.22 0.062 1.557 1.484 0. 1.246
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 108 204 284 657 0 679
normalized size 1 1. 0.57 1.09 1.51 3.49 0. 3.61
time (sec) N/A 0.265 0.239 0.062 1.565 1.491 0. 1.336
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 108 225 339 747 0 548
normalized size 1 1. 0.55 1.15 1.74 3.83 0. 2.81
time (sec) N/A 0.263 0.247 0.066 1.653 1.521 0. 1.302
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 108 246 401 830 0 610
normalized size 1 1. 0.55 1.26 2.06 4.26 0. 3.13
time (sec) N/A 0.268 0.259 0.073 1.541 1.446 0. 1.266
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 108 267 470 915 0 660
normalized size 1 1. 0.55 1.37 2.41 4.69 0. 3.38
time (sec) N/A 0.262 0.272 0.078 1.611 1.535 0. 1.261
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 60 95 130 223 0 92
normalized size 1 1. 0.5 0.79 1.08 1.86 0. 0.77
time (sec) N/A 0.136 0.116 0.05 1.475 1.299 0. 1.208
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 55 79 108 205 0 85
normalized size 1 1. 0.54 0.78 1.07 2.03 0. 0.84
time (sec) N/A 0.08 0.075 0.053 1.476 1.306 0. 1.154
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 81 92 134 344 0 161
normalized size 1 1. 0.64 0.73 1.06 2.73 0. 1.28
time (sec) N/A 0.21 0.103 0.056 1.522 1.402 0. 1.164
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 88 96 139 389 0 0
normalized size 1 1. 0.7 0.76 1.1 3.09 0. 0.
time (sec) N/A 0.202 0.114 0.056 1.521 1.444 0. 0.
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 88 102 154 443 0 335
normalized size 1 1. 0.69 0.8 1.2 3.46 0. 2.62
time (sec) N/A 0.208 0.13 0.065 1.509 1.428 0. 1.203
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 88 109 177 502 0 385
normalized size 1 1. 0.65 0.81 1.31 3.72 0. 2.85
time (sec) N/A 0.205 0.151 0.059 1.494 1.345 0. 1.203
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 81 116 201 405 0 0
normalized size 1 1. 0.58 0.83 1.45 2.91 0. 0.
time (sec) N/A 0.191 0.137 0.07 1.561 1.34 0. 0.
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 74 132 154 300 0 97
normalized size 1 1. 0.6 1.06 1.24 2.42 0. 0.78
time (sec) N/A 0.152 0.492 0.056 1.648 1.363 0. 1.15
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 60 115 131 270 0 90
normalized size 1 1. 0.58 1.12 1.27 2.62 0. 0.87
time (sec) N/A 0.102 0.181 0.064 1.456 1.322 0. 1.146
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 55 98 108 244 0 84
normalized size 1 1. 0.67 1.2 1.32 2.98 0. 1.02
time (sec) N/A 0.055 0.129 0.051 1.542 1.351 0. 1.159
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 86 148 134 413 0 159
normalized size 1 1. 0.85 1.47 1.33 4.09 0. 1.57
time (sec) N/A 0.151 0.349 0.061 1.527 1.383 0. 1.169
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 104 152 157 458 0 0
normalized size 1 1. 0.96 1.41 1.45 4.24 0. 0.
time (sec) N/A 0.153 0.318 0.057 1.526 1.377 0. 0.
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 84 144 201 379 0 297
normalized size 1 1. 0.75 1.29 1.79 3.38 0. 2.65
time (sec) N/A 0.146 0.297 0.058 1.513 1.341 0. 1.157
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 95 151 293 458 0 366
normalized size 1 1. 0.69 1.1 2.14 3.34 0. 2.67
time (sec) N/A 0.204 0.164 0.063 1.601 1.334 0. 1.185
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 65 180 296 359 0 96
normalized size 1 1. 0.62 1.71 2.82 3.42 0. 0.91
time (sec) N/A 0.131 0.711 0.059 1.552 1.333 0. 1.162
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 60 163 273 331 0 89
normalized size 1 1. 0.7 1.9 3.17 3.85 0. 1.03
time (sec) N/A 0.082 0.26 0.055 1.502 1.343 0. 1.177
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 55 146 250 300 0 84
normalized size 1 1. 0.81 2.15 3.68 4.41 0. 1.24
time (sec) N/A 0.052 0.226 0.053 1.465 1.348 0. 1.148
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 80 190 149 362 0 124
normalized size 1 1. 0.94 2.24 1.75 4.26 0. 1.46
time (sec) N/A 0.128 0.467 0.056 1.657 1.319 0. 1.173
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 92 194 171 425 0 0
normalized size 1 1. 0.84 1.76 1.55 3.86 0. 0.
time (sec) N/A 0.153 0.407 0.058 1.558 1.317 0. 0.
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 97 200 240 502 0 308
normalized size 1 1. 0.72 1.48 1.78 3.72 0. 2.28
time (sec) N/A 0.221 0.307 0.062 1.613 1.404 0. 1.217
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 89 207 332 582 0 377
normalized size 1 1. 0.56 1.29 2.08 3.64 0. 2.36
time (sec) N/A 0.283 0.232 0.062 1.592 1.399 0. 1.249
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 354 354 316 1406 0 0 0 628
normalized size 1 1. 0.89 3.97 0. 0. 0. 1.77
time (sec) N/A 0.377 1.235 0.056 0. 0. 0. 1.166
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 319 1453 0 0 0 659
normalized size 1 1. 0.9 4.12 0. 0. 0. 1.87
time (sec) N/A 0.386 1.178 0.059 0. 0. 0. 1.197
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 588 588 537 5924 0 14657 0 14796
normalized size 1 1. 0.91 10.07 0. 24.93 0. 25.16
time (sec) N/A 0.364 0.41 0.082 0. 1.848 0. 1.409
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 391 3222 0 7602 0 8401
normalized size 1 1. 0.91 7.46 0. 17.6 0. 19.45
time (sec) N/A 0.243 0.255 0.062 0. 1.587 0. 1.319
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 292 261 1504 0 3494 0 4182
normalized size 1 1. 0.89 5.15 0. 11.97 0. 14.32
time (sec) N/A 0.189 0.182 0.052 0. 1.448 0. 1.211
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 221 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.481 0.673 3.62 0. 0. 0. 0.
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 377 377 441 0 0 0 0 0
normalized size 1 1. 1.17 0. 0. 0. 0. 0.
time (sec) N/A 0.9 1.757 2.375 0. 0. 0. 0.
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 528 528 488 1244 0 7274 0 887
normalized size 1 1. 0.92 2.36 0. 13.78 0. 1.68
time (sec) N/A 1.312 1.319 0.191 0. 1.842 0. 1.154
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 765 765 754 1960 0 5392 0 1326
normalized size 1 1. 0.99 2.56 0. 7.05 0. 1.73
time (sec) N/A 5.825 0.778 0.192 0. 3.615 0. 1.292
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 85 166 239 417 0 124
normalized size 1 1. 0.41 0.8 1.15 2. 0. 0.6
time (sec) N/A 0.352 0.315 0.075 1.494 1.133 0. 1.286
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 75 132 193 324 0 111
normalized size 1 1. 0.45 0.8 1.16 1.95 0. 0.67
time (sec) N/A 0.203 0.195 0.06 1.498 1.105 0. 1.178
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 65 98 147 255 0 97
normalized size 1 1. 0.52 0.79 1.19 2.06 0. 0.78
time (sec) N/A 0.116 0.107 0.055 1.591 1.03 0. 1.247
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 189 403 675 1148 0 0
normalized size 1 1. 1.01 2.16 3.61 6.14 0. 0.
time (sec) N/A 0.355 0.912 0.142 1.77 1.233 0. 0.
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 354 1084 0 1499 0 0
normalized size 1 1. 1.78 5.45 0. 7.53 0. 0.
time (sec) N/A 0.25 1.3 0.124 0. 1.174 0. 0.
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 334 2342 0 1700 0 0
normalized size 1 1. 1.57 11. 0. 7.98 0. 0.
time (sec) N/A 0.237 1.493 0.127 0. 1.256 0. 0.
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 95 185 278 518 0 138
normalized size 1 1. 0.41 0.8 1.2 2.24 0. 0.6
time (sec) N/A 0.364 0.399 0.074 1.533 1.487 0. 1.201
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 85 151 232 397 0 124
normalized size 1 1. 0.45 0.8 1.23 2.1 0. 0.66
time (sec) N/A 0.227 0.252 0.061 1.586 1.286 0. 1.21
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 75 117 186 323 0 111
normalized size 1 1. 0.51 0.8 1.27 2.2 0. 0.76
time (sec) N/A 0.13 0.149 0.056 1.479 1.264 0. 1.304
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 210 210 202 730 722 1442 0 0
normalized size 1 1. 0.96 3.48 3.44 6.87 0. 0.
time (sec) N/A 0.304 0.948 0.116 1.878 1.491 0. 0.
Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 222 354 1828 0 1515 0 0
normalized size 1 1. 1.59 8.23 0. 6.82 0. 0.
time (sec) N/A 0.322 1.873 0.118 0. 1.55 0. 0.
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 376 3828 0 1914 0 0
normalized size 1 1. 1.61 16.36 0. 8.18 0. 0.
time (sec) N/A 0.319 2.343 0.125 0. 1.722 0. 0.
Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 75 147 200 332 0 111
normalized size 1 1. 0.41 0.79 1.08 1.79 0. 0.6
time (sec) N/A 0.312 0.261 0.067 1.531 1.41 0. 1.164
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 65 113 154 267 0 97
normalized size 1 1. 0.45 0.79 1.08 1.87 0. 0.68
time (sec) N/A 0.203 0.153 0.058 1.452 1.363 0. 1.192
Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 55 79 108 207 0 84
normalized size 1 1. 0.54 0.78 1.07 2.05 0. 0.83
time (sec) N/A 0.145 0.086 0.052 1.531 1.249 0. 1.196
Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 157 204 628 1126 0 0
normalized size 1 1. 0.96 1.24 3.83 6.87 0. 0.
time (sec) N/A 0.23 0.485 0.106 1.653 1.548 0. 0.
Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 313 510 0 1393 0 0
normalized size 1 1. 1.76 2.87 0. 7.83 0. 0.
time (sec) N/A 0.196 1.024 0.117 0. 1.366 0. 0.
Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 371 1194 0 1897 0 0
normalized size 1 1. 1.63 5.26 0. 8.36 0. 0.
time (sec) N/A 0.271 1.282 0.131 0. 1.561 0. 0.
Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 75 166 200 386 0 109
normalized size 1 1. 0.45 1. 1.2 2.33 0. 0.66
time (sec) N/A 0.241 0.461 0.069 1.485 1.442 0. 1.183
Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 65 132 154 305 0 96
normalized size 1 1. 0.52 1.06 1.24 2.46 0. 0.77
time (sec) N/A 0.161 0.274 0.054 1.579 1.306 0. 1.161
Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 55 98 108 254 0 84
normalized size 1 1. 0.67 1.2 1.32 3.1 0. 1.02
time (sec) N/A 0.087 0.155 0.05 1.504 1.387 0. 1.184
Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 174 489 1049 1269 0 0
normalized size 1 1. 1.05 2.95 6.32 7.64 0. 0.
time (sec) N/A 0.216 1.177 0.104 1.801 1.406 0. 0.
Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 351 1214 0 1759 0 0
normalized size 1 1. 1.63 5.65 0. 8.18 0. 0.
time (sec) N/A 0.316 1.198 0.111 0. 1.482 0. 0.
Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 381 2600 0 2311 0 0
normalized size 1 1. 1.52 10.4 0. 9.24 0. 0.
time (sec) N/A 0.324 1.574 0.12 0. 2.547 0. 0.
Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 166 166 242 0 0 0 0 0
normalized size 1 1. 1.46 0. 0. 0. 0. 0.
time (sec) N/A 0.147 0.424 0.681 0. 0. 0. 0.
Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 167 167 236 0 0 0 0 0
normalized size 1 1. 1.41 0. 0. 0. 0. 0.
time (sec) N/A 0.153 0.331 0.631 0. 0. 0. 0.
Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 252 252 302 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.481 0.531 0.618 0. 0. 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [168] had the largest ratio of [ 0.3571 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 7 5 1. 34 0.147
2 A 6 5 1. 32 0.156
3 A 5 5 1. 27 0.185
4 A 5 5 1. 34 0.147
5 A 5 5 1. 34 0.147
6 A 5 5 1. 34 0.147
7 A 8 6 1. 34 0.176
8 A 4 4 1. 34 0.118
9 A 5 4 1. 34 0.118
10 A 7 4 1. 34 0.118
11 A 6 4 1. 34 0.118
12 A 5 4 1. 32 0.125
13 A 4 4 1. 27 0.148
14 A 4 4 1. 34 0.118
15 A 7 5 1. 34 0.147
16 A 4 4 1. 34 0.118
17 A 5 4 1. 34 0.118
18 A 2 1 0.99 25 0.04
19 A 2 1 0.99 25 0.04
20 A 2 1 1. 23 0.043
21 A 2 1 1. 18 0.056
22 A 2 1 0.99 25 0.04
23 A 2 1 0.99 25 0.04
24 A 2 1 0.99 25 0.04
25 A 3 2 0.99 27 0.074
26 A 3 2 1. 27 0.074
27 A 3 2 1. 25 0.08
28 A 3 2 1. 20 0.1
29 A 2 1 0.99 27 0.037
30 A 2 1 0.99 27 0.037
31 A 2 1 0.99 27 0.037
32 A 3 2 0.99 27 0.074
33 A 3 2 1. 27 0.074
34 A 3 2 1. 25 0.08
35 A 3 2 1. 20 0.1
36 A 2 1 0.99 27 0.037
37 A 2 1 0.99 27 0.037
38 A 2 1 0.99 27 0.037
39 A 1 1 1. 32 0.031
40 A 1 1 1. 31 0.032
41 A 1 1 1. 34 0.029
42 A 1 1 1. 33 0.03
43 A 5 4 0.99 27 0.148
44 A 5 4 0.99 27 0.148
45 A 5 4 1. 25 0.16
46 A 5 4 1. 20 0.2
47 A 5 4 1. 27 0.148
48 A 5 4 1. 27 0.148
49 A 5 4 1. 27 0.148
50 A 6 5 1. 27 0.185
51 A 5 5 1. 27 0.185
52 A 4 4 1. 25 0.16
53 A 3 3 1. 20 0.15
54 A 6 5 1. 27 0.185
55 A 6 5 0.99 27 0.185
56 A 6 5 1. 27 0.185
57 A 5 5 1. 27 0.185
58 A 3 3 1.12 27 0.111
59 A 3 3 1. 25 0.12
60 A 4 4 1. 20 0.2
61 A 7 6 1. 27 0.222
62 A 7 5 0.99 27 0.185
63 A 7 5 1. 27 0.185
64 A 4 4 1. 27 0.148
65 A 4 4 1.13 27 0.148
66 A 4 4 1. 27 0.148
67 A 4 4 1. 25 0.16
68 A 5 4 1. 20 0.2
69 A 6 5 1. 17 0.294
70 A 5 5 1. 17 0.294
71 A 4 4 1. 15 0.267
72 A 3 3 1. 14 0.214
73 A 6 5 1. 17 0.294
74 A 6 5 1. 17 0.294
75 A 6 5 1. 17 0.294
76 A 3 3 1.83 16 0.188
77 A 3 3 1. 18 0.167
78 A 7 6 0.99 29 0.207
79 A 6 6 1. 29 0.207
80 A 5 5 1. 27 0.185
81 A 5 5 1. 22 0.227
82 A 7 6 1. 29 0.207
83 A 7 6 0.98 29 0.207
84 A 7 6 1. 29 0.207
85 A 7 6 1. 29 0.207
86 A 5 5 1. 29 0.172
87 A 6 6 1. 29 0.207
88 A 8 6 1. 29 0.207
89 A 7 6 1. 29 0.207
90 A 6 5 1. 27 0.185
91 A 6 5 1. 22 0.227
92 A 8 6 1. 29 0.207
93 A 8 6 0.99 29 0.207
94 A 8 7 0.98 29 0.241
95 A 8 6 0.99 29 0.207
96 A 8 7 1. 29 0.241
97 A 8 6 1. 29 0.207
98 A 6 5 1. 29 0.172
99 A 7 6 1. 29 0.207
100 A 7 5 1. 22 0.227
101 A 6 5 0.99 29 0.172
102 A 5 5 1. 29 0.172
103 A 4 4 0.99 27 0.148
104 A 4 4 1. 22 0.182
105 A 6 5 1. 29 0.172
106 A 6 5 1. 29 0.172
107 A 4 4 1. 29 0.138
108 A 5 5 1. 29 0.172
109 A 4 4 1. 29 0.138
110 A 4 4 1. 27 0.148
111 A 4 4 1. 22 0.182
112 A 4 4 1. 29 0.138
113 A 4 4 1. 29 0.138
114 A 5 5 0.99 29 0.172
115 A 3 3 1. 22 0.136
116 A 4 4 1. 22 0.182
117 A 5 4 1. 22 0.182
118 A 5 4 1. 29 0.138
119 A 4 4 1. 29 0.138
120 A 3 3 1. 27 0.111
121 A 5 5 1. 29 0.172
122 A 5 5 1. 29 0.172
123 A 4 4 1. 29 0.138
124 A 5 4 1. 29 0.138
125 A 4 4 1. 29 0.138
126 A 3 3 1. 27 0.111
127 A 4 4 1. 29 0.138
128 A 4 4 1. 29 0.138
129 A 5 5 1. 29 0.172
130 A 4 3 1. 29 0.103
131 A 4 3 1. 29 0.103
132 A 2 2 1. 27 0.074
133 A 5 5 1. 29 0.172
134 A 5 4 1. 29 0.138
135 A 6 5 1. 29 0.172
136 A 6 4 0.99 27 0.148
137 A 6 4 1. 29 0.138
138 A 5 5 1. 31 0.161
139 A 6 6 1. 70 0.086
140 A 2 1 1. 20 0.05
141 A 2 1 1. 20 0.05
142 A 2 1 1. 20 0.05
143 A 2 1 1. 18 0.056
144 A 6 5 1. 20 0.25
145 A 4 4 1. 20 0.2
146 A 5 5 1. 20 0.25
147 A 6 5 1. 20 0.25
148 A 6 5 1. 30 0.167
149 A 6 5 1. 30 0.167
150 A 6 5 1. 28 0.179
151 A 6 5 1. 23 0.217
152 A 6 5 1. 30 0.167
153 A 6 5 1. 30 0.167
154 A 6 5 1. 30 0.167
155 A 6 6 1. 30 0.2
156 A 5 5 1. 28 0.179
157 A 4 4 1. 23 0.174
158 A 7 6 1. 30 0.2
159 A 7 6 1. 30 0.2
160 A 7 6 1. 20 0.3
161 A 7 6 1. 20 0.3
162 A 5 5 1. 18 0.278
163 A 4 4 1. 17 0.235
164 A 7 6 1. 20 0.3
165 A 7 6 1. 20 0.3
166 A 7 6 1. 20 0.3
167 A 1 1 1. 16 0.062
168 A 6 5 1. 14 0.357
169 A 6 5 1. 16 0.312
170 A 3 2 1. 18 0.111
171 A 5 3 1. 16 0.188
172 A 5 3 1. 19 0.158
173 A 6 5 1. 23 0.217
174 A 5 3 1. 19 0.158
175 A 2 2 1. 23 0.087
176 A 4 4 1. 17 0.235
177 A 1 1 1. 19 0.053
178 A 7 5 1. 22 0.227
179 A 6 5 1. 22 0.227
180 A 5 5 1. 22 0.227
181 A 4 4 1. 22 0.182
182 A 4 4 1. 22 0.182
183 A 3 3 1. 22 0.136
184 A 4 4 1. 22 0.182
185 A 5 4 1. 22 0.182
186 A 7 6 1. 32 0.188
187 A 6 6 0.99 32 0.188
188 A 5 5 1. 30 0.167
189 A 5 5 1. 25 0.2
190 A 7 6 1. 32 0.188
191 A 7 6 0.99 32 0.188
192 A 7 6 1. 32 0.188
193 A 7 6 1. 32 0.188
194 A 5 5 1. 32 0.156
195 A 6 6 1. 32 0.188
196 A 8 6 1. 32 0.188
197 A 7 6 0.99 32 0.188
198 A 6 5 1. 30 0.167
199 A 6 5 1. 25 0.2
200 A 8 6 1. 32 0.188
201 A 8 6 0.99 32 0.188
202 A 8 7 0.99 32 0.219
203 A 8 6 1. 32 0.188
204 A 8 7 1. 32 0.219
205 A 8 6 1. 32 0.188
206 A 6 5 1. 32 0.156
207 A 7 6 1. 32 0.188
208 A 7 6 1. 32 0.188
209 A 6 6 1. 32 0.188
210 A 5 5 1. 30 0.167
211 A 7 7 1. 32 0.219
212 A 7 7 1. 32 0.219
213 A 7 7 1. 32 0.219
214 A 9 6 1. 32 0.188
215 A 7 6 1. 32 0.188
216 A 6 5 1. 30 0.167
217 A 8 7 1. 32 0.219
218 A 8 7 1. 32 0.219
219 A 8 8 1. 32 0.25
220 A 9 6 1. 32 0.188
221 A 8 6 1. 32 0.188
222 A 7 5 1. 30 0.167
223 A 9 7 1. 32 0.219
224 A 9 7 1. 32 0.219
225 A 9 8 1. 32 0.25
226 A 6 5 1. 32 0.156
227 A 5 5 1. 32 0.156
228 A 4 4 1. 30 0.133
229 A 4 4 1. 25 0.16
230 A 6 5 1. 32 0.156
231 A 6 5 0.99 32 0.156
232 A 4 4 1. 32 0.125
233 A 5 5 1. 32 0.156
234 A 4 4 1. 32 0.125
235 A 4 4 1. 30 0.133
236 A 4 4 1. 25 0.16
237 A 4 4 1. 32 0.125
238 A 4 4 0.99 32 0.125
239 A 5 5 0.99 32 0.156
240 A 6 5 1. 32 0.156
241 A 5 5 1. 32 0.156
242 A 4 4 1. 30 0.133
243 A 6 6 1. 32 0.188
244 A 6 6 1. 32 0.188
245 A 4 4 1. 32 0.125
246 A 6 5 1. 32 0.156
247 A 5 5 1. 32 0.156
248 A 4 4 1. 30 0.133
249 A 4 4 1. 32 0.125
250 A 4 4 1. 32 0.125
251 A 5 5 1. 32 0.156
252 A 5 4 1. 32 0.125
253 A 5 4 1. 32 0.125
254 A 2 2 1. 30 0.067
255 A 5 5 1. 32 0.156
256 A 5 4 1. 32 0.125
257 A 6 5 1. 32 0.156
258 A 3 3 1. 47 0.064
259 A 8 7 1. 34 0.206
260 A 7 6 1. 34 0.176
261 A 7 6 1. 34 0.176
262 A 7 6 1. 34 0.176
263 A 7 6 1. 34 0.176
264 A 8 7 1. 34 0.206
265 A 9 7 1. 34 0.206
266 A 8 6 1. 34 0.176
267 A 7 6 1. 34 0.176
268 A 6 5 1. 34 0.147
269 A 6 5 1. 34 0.147
270 A 7 6 0.99 34 0.176
271 A 8 6 1. 34 0.176
272 A 6 4 1. 30 0.133
273 A 6 4 1. 32 0.125
274 A 5 5 1. 34 0.147
275 A 3 3 1. 42 0.071
276 A 2 2 1. 46 0.043
277 A 2 2 1. 69 0.029
278 A 2 2 1. 75 0.027
279 A 6 4 1. 16 0.25
280 A 6 5 1. 33 0.152
281 A 5 4 1. 31 0.129
282 A 5 4 1. 30 0.133
283 A 7 5 1. 33 0.152
284 A 7 6 1. 33 0.182
285 A 7 5 1. 33 0.152
286 A 5 4 1. 33 0.121
287 A 6 5 1. 33 0.152
288 A 7 5 1. 33 0.152
289 A 2 1 1. 36 0.028
290 A 2 1 1. 36 0.028
291 A 2 1 1. 34 0.029
292 A 2 1 1. 29 0.034
293 A 2 1 1. 36 0.028
294 A 2 1 1. 36 0.028
295 A 2 1 1. 36 0.028
296 A 2 1 1. 38 0.026
297 A 2 1 1. 38 0.026
298 A 2 1 1. 36 0.028
299 A 2 1 1. 31 0.032
300 A 2 1 1. 38 0.026
301 A 2 1 1. 38 0.026
302 A 2 1 1. 38 0.026
303 A 2 1 1. 38 0.026
304 A 6 5 1. 38 0.132
305 A 6 5 1. 38 0.132
306 A 6 5 1. 36 0.139
307 A 6 5 1. 31 0.161
308 A 6 5 1. 38 0.132
309 A 6 5 1. 38 0.132
310 A 6 5 1. 38 0.132
311 A 7 6 1. 38 0.158
312 A 7 6 1. 38 0.158
313 A 7 6 1. 36 0.167
314 A 7 6 1. 31 0.194
315 A 7 6 1. 38 0.158
316 A 7 6 1. 38 0.158
317 A 7 6 1. 38 0.158
318 A 8 6 1. 38 0.158
319 A 8 6 1. 38 0.158
320 A 6 6 1. 36 0.167
321 A 5 4 1. 31 0.129
322 A 8 6 1. 38 0.158
323 A 8 6 1. 38 0.158
324 A 7 5 1. 38 0.132
325 A 7 5 1. 33 0.152
326 A 9 7 1. 40 0.175
327 A 9 8 1. 40 0.2
328 A 9 8 1. 40 0.2
329 A 9 7 1. 40 0.175
330 A 9 7 1. 40 0.175
331 A 9 7 1. 40 0.175
332 A 7 5 1. 40 0.125
333 A 8 6 1. 40 0.15
334 A 8 5 1. 38 0.132
335 A 8 5 1. 33 0.152
336 A 10 7 1. 40 0.175
337 A 10 8 1. 40 0.2
338 A 10 8 1. 40 0.2
339 A 10 7 1. 40 0.175
340 A 10 8 1. 40 0.2
341 A 10 7 1. 40 0.175
342 A 10 8 1. 40 0.2
343 A 10 7 1. 40 0.175
344 A 6 4 1. 38 0.105
345 A 6 4 1. 33 0.121
346 A 8 6 1. 40 0.15
347 A 8 7 1. 40 0.175
348 A 8 7 1. 40 0.175
349 A 8 6 1. 40 0.15
350 A 6 4 1. 40 0.1
351 A 7 5 1. 40 0.125
352 A 6 5 1. 38 0.132
353 A 5 5 1. 33 0.152
354 A 7 7 1. 40 0.175
355 A 7 7 1. 40 0.175
356 A 5 5 1. 40 0.125
357 A 6 5 1. 40 0.125
358 A 6 5 1. 40 0.125
359 A 5 4 1. 38 0.105
360 A 5 4 1. 33 0.121
361 A 5 4 1. 40 0.1
362 A 5 4 1. 40 0.1
363 A 6 5 1. 40 0.125
364 A 7 5 1. 40 0.125
365 A 5 4 1. 35 0.114
366 A 5 4 1. 36 0.111
367 A 2 1 1. 38 0.026
368 A 2 1 1. 38 0.026
369 A 2 1 1. 36 0.028
370 A 4 2 1. 38 0.053
371 A 5 3 1. 38 0.079
372 A 6 5 1. 38 0.132
373 A 6 5 1. 53 0.094
374 A 11 5 1. 35 0.143
375 A 9 5 1. 35 0.143
376 A 7 5 1. 33 0.152
377 A 9 7 1. 35 0.2
378 A 9 7 1. 35 0.2
379 A 7 5 1. 35 0.143
380 A 12 5 1. 35 0.143
381 A 10 5 1. 35 0.143
382 A 8 5 1. 33 0.152
383 A 10 7 1. 35 0.2
384 A 10 8 1. 35 0.229
385 A 10 7 1. 35 0.2
386 A 10 4 1. 35 0.114
387 A 8 4 1. 35 0.114
388 A 6 4 1. 33 0.121
389 A 8 6 1. 35 0.171
390 A 6 4 1. 35 0.114
391 A 7 4 1. 35 0.114
392 A 9 5 1. 35 0.143
393 A 7 5 1. 35 0.143
394 A 5 5 1. 33 0.152
395 A 6 4 1. 35 0.114
396 A 7 4 1. 35 0.114
397 A 8 4 1. 35 0.114
398 A 7 5 1. 26 0.192
399 A 7 6 1. 24 0.25
400 A 11 8 1. 29 0.276

[next] [prev] [prev-tail] [front] [up]